Suchergebnis

zu den Filteroptionen
Suche nach: Schlagwort = Singapur <2014> und Sammlung = ULB Düsseldorf
  • Titelblatt
    FM 2014: Formal methods
    19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings
    Jones, Cliff B. (Hrsg.) ; FM <19, 2014, Singapur>
    Cham [u.a.] : Springer, 2014